____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Multinomialtheorem
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
In der Mathematik stellt das Multinomialtheorem (auch Multinomialformel oder Multinomialsatz) oder Polynomialtheorem eine Verallgemeinerung des binomischen Lehrsatzes auf die Summe beliebig vieler Glieder dar, indem es die Binomialkoeffizienten als Multinomialkoeffizienten verallgemeinert.
Contents
β’ Formel
β’ Beispiel
β’ Anwendung
β’ Herleitung
β’ Formelle Beweise
β’ Siehe auch
β’ Literatur
β’ Weblinks
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Formel
Das Multinomialtheorem besagt, dass
( x 1 + x 2 + β¦ β¦ + x n ) k = β β k 1 + β¦ β¦ + k n = k k 1 , β¦ β¦ , k n β₯ β₯ 0 ( k k 1 , β¦ β¦ , k n ) β
β
x 1 k 1 β
β
x 2 k 2 β― β― x n k n . {\displaystyle (x_{1}+x_{2}+\ldots +x_{n})^{k}\,=\sum _{k_{1}+\ldots +k_{n}=k \atop k_{1},\ldots ,k_{n}\geq 0}{k \choose k_{1},\ldots ,k_{n}}\,\cdot \,x_{1}^{k_{1}}\cdot x_{2}^{k_{2}}\cdots x_{n}^{k_{n}}.}
Die Koeffizienten dieses Polynomausdrucks sind die Multinomialkoeffizienten
( k k 1 , β¦ β¦ , k n ) = k ! k 1 ! β
β
β¦ β¦ β
β
k n ! {\displaystyle {k \choose k_{1},\,\ldots ,\,k_{n}}={\frac {k!}{k_{1}!\cdot \,\ldots \,\cdot k_{n}!}}} ,
die ihren Namen aufgrund ihres Auftretens im Multinomialtheorem erhalten haben.
Eine kΓΌrzere Formulierung erlaubt die Multiindexnotation mit Multiindex Ξ± Ξ± {\displaystyle \alpha } :
( x 1 + x 2 + β― β― + x n ) k = β β | Ξ± Ξ± | = k ( k Ξ± Ξ± ) β
β
x Ξ± Ξ± . {\displaystyle (x_{1}+x_{2}+\cdots +x_{n})^{k}=\sum _{|\alpha |=k}{{k} \choose \alpha }\cdot x^{\alpha }.}
Dabei identifiziert man x {\displaystyle x} mit dem Vektor ( x 1 , β¦ β¦ , x n ) β β R n {\displaystyle (x_{1},\ldots ,x_{n})\in \mathbb {R} ^{n}} .
Beispiel
( x + y + z ) 3 = ( 3 3 , 0 , 0 ) x 3 + ( 3 2 , 1 , 0 ) x 2 y + ( 3 2 , 0 , 1 ) x 2 z + ( 3 1 , 2 , 0 ) x y 2 + ( 3 1 , 1 , 1 ) x y z + ( 3 1 , 0 , 2 ) x z 2 + ( 3 0 , 3 , 0 ) y 3 + ( 3 0 , 2 , 1 ) y 2 z + ( 3 0 , 1 , 2 ) y z 2 + ( 3 0 , 0 , 3 ) z 3 {\displaystyle (x+y+z)^{3}={3 \choose 3,0,0}\,x^{3}+{3 \choose 2,1,0}\,x^{2}y+{3 \choose 2,0,1}\,x^{2}z+{3 \choose 1,2,0}\,xy^{2}+{3 \choose 1,1,1}\,xyz+{3 \choose 1,0,2}\,xz^{2}+{3 \choose 0,3,0}\,y^{3}+{3 \choose 0,2,1}\,y^{2}z+{3 \choose 0,1,2}\,yz^{2}+{3 \choose 0,0,3}\,z^{3}}
Nach Auswerten der Multinomialkoeffizienten erhΓ€lt man
( x + y + z ) 3 = x 3 + 3 x 2 y + 3 x 2 z + 3 x y 2 + 6 x y z + 3 x z 2 + y 3 + 3 y 2 z + 3 y z 2 + z 3 {\displaystyle (x+y+z)^{3}=x^{3}+3x^{2}y+3x^{2}z+3xy^{2}+6xyz+3xz^{2}+y^{3}+3y^{2}z+3yz^{2}+z^{3}} .
Anwendung
Als Korollar aus dem Multinomialtheorem gewinnt man beispielsweise fΓΌr Multiindizes die AbschΓ€tzung
n k = ( 1 + β― β― + 1 ) k = β β | Ξ² Ξ² | = k | Ξ² Ξ² | ! Ξ² Ξ² ! β₯ β₯ | Ξ± Ξ± | ! Ξ± Ξ± ! {\displaystyle n^{k}=(1+\cdots +1)^{k}=\sum _{|\beta |=k}{\frac {|\beta |!}{\beta !}}\geq {\frac {|\alpha |!}{\alpha !}}} fΓΌr alle Ξ± Ξ± {\displaystyle \alpha } mit | Ξ± Ξ± | = k {\displaystyle |\alpha |=k} ,
also
| Ξ± Ξ± | ! β€ β€ n | Ξ± Ξ± | β
β
Ξ± Ξ± ! {\displaystyle |\alpha |!\leq n^{|\alpha |}\cdot \alpha !} .
Herleitung
Das Multinomialtheorem lΓ€sst sich durch folgende Γberlegung herleiten: Schreibt man das Produkt ( x 1 + β¦ β¦ + x n ) k {\displaystyle (x_{1}+\ldots +x_{n})^{k}} aus, so liest es sich als
( x 1 + β¦ β¦ + x n ) β
β
( x 1 + β¦ β¦ + x n ) β― β― ( x 1 + β¦ β¦ + x n ) {\displaystyle (x_{1}+\ldots +x_{n})\cdot (x_{1}+\ldots +x_{n})\cdots (x_{1}+\ldots +x_{n})} .
Beim Ausmultiplizieren der k {\displaystyle k} gleichen KlammerausdrΓΌcke flieΓt in jedes Produkt aus jeder Summe ( x 1 + β¦ β¦ + x n ) {\displaystyle (x_{1}+\ldots +x_{n})} genau ein Glied ein. Somit entstehen Produkte der Form x 1 k 1 β
β
x 2 k 2 β― β― x n k n {\displaystyle x_{1}^{k_{1}}\cdot x_{2}^{k_{2}}\cdots x_{n}^{k_{n}}} mit k 1 + k 2 + β¦ β¦ k n = k {\displaystyle k_{1}+k_{2}+\ldots k_{n}=k} . Diese Produkte werden additiv verknΓΌpft, und es bleibt nur noch zu klΓ€ren, welche Produkte wie oft entstehen. Ein Produkt x 1 k 1 β
β
x 2 k 2 β― β― x n k n {\displaystyle x_{1}^{k_{1}}\cdot x_{2}^{k_{2}}\cdots x_{n}^{k_{n}}} entsteht dadurch, dass aus n {\displaystyle n} KlammerausdrΓΌcken k 1 {\displaystyle k_{1}} -mal die Zahl x 1 {\displaystyle x_{1}} ausgewΓ€hlt wurde, k 2 {\displaystyle k_{2}} -mal die Zahl x 2 {\displaystyle x_{2}} ausgewΓ€hlt wurde usw. FΓΌr diese Auswahl gibt es aber gerade ( k k 1 , β¦ β¦ , k n ) {\displaystyle {\tbinom {k}{k_{1},\ldots ,k_{n}}}} MΓΆglichkeiten.
Formelle Beweise
Das Multinomialtheorem lΓ€sst sich beispielsweise mit Hilfe einer mehrdimensionalen Taylorentwicklung erster Ordnung oder durch vollstΓ€ndige Induktion ΓΌber n {\displaystyle n} unter Zuhilfenahme des binomischen Lehrsatzes beweisen.
Siehe auch
Literatur
β’ S.A. Rukova: Multinomial coefficient. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org).
β’ Jaroslav Nesetril, Jiri Matousek: Diskrete Mathematik: Eine Entdeckungsreise. Springer 2007, ISBN 978-3-540-30150-9, S. 79 (Auszug in der Google-Buchsuche)
β’ Dominique Foata, AimΓ© Fuchs: Wahrscheinlichkeitsrechnung. BirkhΓ€user 1999, ISBN 3-7643-6169-7, S. 41β42 (Auszug in der Google-Buchsuche)
Weblinks
β’ Norbert Henze: Multinomialkoeffizient und multinomialer Lehrsatz In: KIT-Bibliothek Medienportal